C-system of a module over a Jf-relative monad
نویسندگان
چکیده
Let F be the category with set of objects N and morphisms given by functions between standard finite sets corresponding cardinalities. Jf:F→Sets(U) obvious functor from this to in a Grothendieck universe U. In paper we construct, for any Jf-relative monad RR left RR-module LM, C-system C(RR,LM) explicitly compute action four B-system operations on its B-sets. introduction explain detail relevance result construction term C-systems type theories.
منابع مشابه
A relative extending module and torsion precovers
We first characterize $tau$-complemented modules with relative (pre)-covers. We also introduce an extending module relative to $tau$-pure submodules on a hereditary torsion theory $tau$ and give its relationship with $tau$-complemented modules.
متن کاملa study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولA Module System for C++
This paper presents a design of a module system for C++.The proposal focuses on programmer’s view of modules (both production and consumption) and how to better support modular programming in the large, componentization, scalable compilation, and semantics-aware developer tools.
متن کاملa relative extending module and torsion precovers
we first characterize $tau$-complemented modules with relative (pre)-covers. we also introduce an extending module relative to $tau$-pure submodules on a hereditary torsion theory $tau$ and give its relationship with $tau$-complemented modules.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2023
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2022.107283